Converge, Version 3.0

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Preprint Version: May 30, 2009 THE PROBLEM OF TWO STICKS

Let l = [l0, l1] be the directed line segment from l0 ∈ IR to l1 ∈ IR. Suppose l̄ = [l̄0, l̄1] is a second segment of equal length such that l, l̄ satisfy the “two sticks condition”: ∥∥l1 − l̄0∥∥ ≥ ‖l1 − l0‖ ,∥∥l̄1 − l0∥∥ ≥ ∥∥l̄1 − l̄0∥∥ . Here ‖·‖ is a norm on IR. We explore the manner in which l1− l̄1 is then constrained when assumptions are made about “intermediate points” l∗ ∈ l, l̄∗ ∈ l̄. Roughly spe...

متن کامل

30--6 Oct 2009.indd [ Final version].indd

Background: A group of experts attending a tripartite interregional meeting on best practices in HIV/AIDS workplace policies and programmes organised by the International Labour Organisation (ILO) in Geneva, Switzerland, identifi ed 34 best practice workplace HIV programmes from across the world. Method: The ten criteria that were used for reviewing best practice workplace HIV/AIDS programmes i...

متن کامل

(PR) 30-day Public Review for OASIS AMQP Version 1.0

AMQP (Advanced Message Queuing Protocol) is an efficient, reliable, wire level messaging protocol supporting common middleware messaging interaction patterns: messaging, request/response, publish/subscribe, transactions, and store and forward. It allows middleware applications to communicate with each other without having to have the same infrastructure on both ends (i.e. it provides vendor neu...

متن کامل

The Assessment of Reliability and Validity of Persian Version of the Endometriosis Health Profile (EHP-30)

Background: The Endometriosis Health Profile-30 (EHP-30) is a disease-specific questionnaire to measure the health-related quality of life in patients with endometriosis. The aim of this study was to evaluate the validity and reliability of the Persian version of Endometriosis Health Pro-file (EHP-30) in women with endometriosis referring to three Gynecology Clinics in Tehran, Iran. Met...

متن کامل

The Converge programming language

class ML1_Element { name : String; inv nonempty_name: name != null and name.len() > 0 } Note that the DSL fragment is written in an entirely different syntax than Converge itself. Currently DSL blocks are automatically tokenized by the Converge compiler using its default tokenization rules — this is not a fundamental requirement of the technique, but a peculiarity of the current implementation....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Applied Mathematics and Stochastic Analysis

سال: 1993

ISSN: 1048-9533,1687-2177

DOI: 10.1155/s1048953393000243